set of all points related to p is a circle